منابع مشابه
Walther Recursion
Primitive recursion is a well known syntactic restriction on recursive deenitions which guarantees termination. Unfortunately many natural deenitions, such as the most common deenition of Euclid's GCD algorithm, are not primitive recursive. Walther has recently given a proof system for verifying termination of a broader class of deenitions. Although Walther's system is highly automatible, the c...
متن کامل(Re)introducing Regular Graph Languages
Distributions over strings and trees can be represented by probabilistic regular languages, which characterise many models in natural language processing. Recently, several datasets have become available which represent natural language phenomena as graphs, so it is natural to ask whether there is an equivalent of probabilistic regular languages for graphs. This paper presents regular graph lan...
متن کاملRe-Introducing The Concept of Mind
[1] Imagine somebody whose enthusiasm for metaphysical musings is so matched by ineptitude that when his bank informs him that his account is overdrawn, he manages to convince himself that the modern banking system had created a new kind of Cosmic Substance: anti-cash, convertible into minus-pounds-sterling, nego-dollars, vac-euros, and so forth. Being a staunch ‘realist’ about all things, he d...
متن کاملQuestionnaire discrimination: (re)-introducing coefficient δ
BACKGROUND Questionnaires are used routinely in clinical research to measure health status and quality of life. Questionnaire measurements are traditionally formally assessed by indices of reliability (the degree of measurement error) and validity (the extent to which the questionnaire measures what it is supposed to measure). Neither of these indices assesses the degree to which the questionna...
متن کاملQuestionnaire discrimination : ( re ) - introducing coefficient delta
Background: Questionnaires are used routinely in clinical research to measure health status and quality of life. Questionnaire measurements are traditionally formally assessed by indices of reliability (the degree of measurement error) and validity (the extent to which the questionnaire measures what it is supposed to measure). Neither of these indices assesses the degree to which the questionn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of International Law
سال: 2011
ISSN: 0938-5428,1464-3596
DOI: 10.1093/ejil/chr054